Usenix Security '23 - Automated Security Analysis Of Exposure Notification Systems

USENIX Security '23 - Automated Security Analysis of Exposure Notification Systems

USENIX Security '23 - Are You Spying on Me? Large-Scale Analysis on IoT Data Exposure through...

USENIX Security '23 - A comprehensive, formal and automated analysis of the EDHOC protocol

USENIX Security '23 - Automated Analysis of Protocols that use Authenticated Encryption: How...

USENIX Security '23 - We Really Need to Talk About Session Tickets: A Large-Scale Analysis of...

USENIX Security '23 - Automated Cookie Notice Analysis and Enforcement

USENIX Security '23 - AutoFR: Automated Filter Rule Generation for Adblocking

USENIX Security '20 - A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis

USENIX Security '23 - Investigating Verification Behavior and Perceptions of Visual Digital...

USENIX Security '23 - Formal Analysis of Session-Handling in Secure Messaging: Lifting Security...

USENIX Security '18 - Formal Security Analysis of Neural Networks using Symbolic Intervals

USENIX Security '20 - A Spectral Analysis of Noise: A Comprehensive, Automated, Formal Analysis

USENIX Security '23 - A Bug's Life: Analyzing the Lifecycle and Mitigation Process of Content...

USENIX Security '23 - Examining Consumer Reviews to Understand Security and Privacy Issues in the...

USENIX Security '23 - RIDAS: Real-time identification of attack sources on controller area networks

USENIX Security '23 - Generative Intrusion Detection and Prevention on Data Stream

USENIX Security '23 - XCheck: Verifying Integrity of 3D Printed Patient-Specific Devices via...

USENIX Security '23 - “Millions of people are watching you”: Understanding the Digital-Safety...